home *** CD-ROM | disk | FTP | other *** search
/ Turnbull China Bikeride / Turnbull China Bikeride - Disc 2.iso / STUTTGART / LANG / PROLOG / HUMBOLT / HUMBOLTS / _files / _humboltsr / MANAGER._h < prev    next >
Text File  |  1990-12-08  |  4KB  |  111 lines
  1. /***************************************************
  2. ****************************************************
  3. **                                                **
  4. **  HU-Prolog     Portable Interpreter System     **
  5. **                                                **
  6. **  Release 1.62   January  1990                  **
  7. **                                                **
  8. **  Authors:      C.Horn, M.Dziadzka, M.Horn      **
  9. **                                                **
  10. **  (C) 1989      Humboldt-University             **
  11. **                Department of Mathematics       **
  12. **                GDR 1086 Berlin, P.O.Box 1297   **
  13. **                                                **
  14. ****************************************************
  15. ***************************************************/
  16.  
  17. #ifndef MEMORYSIZE
  18. #define MEMORYSIZE   300 /* KByte */      
  19. #endif
  20.  
  21. #if MEMORYSIZE==64 /* KByte */
  22. #define DEF_ATOMS       500  /* MAX. no. of atoms */
  23. #define DEF_TERMS      4000  /*  "    "   " term */
  24. #define DEF_TRAILER    1200  /*  "    "   " critical variables */ 
  25. #define DEF_ENVS        400  /*  "    "   " active goals */
  26. #define DEF_STRINGS    3500  /*  "    "   " chars in string tab */
  27. #endif
  28.  
  29. #if MEMORYSIZE==120 /* KByte */
  30. #define DEF_ATOMS      1000  /* MAX. no. of atoms */
  31. #define DEF_TERMS     18000  /*  "    "   " term */
  32. #define DEF_TRAILER    2000  /*  "    "   " critical variables */ 
  33. #define DEF_ENVS       1000  /*  "    "   " active goals */
  34. #define DEF_STRINGS    8400  /*  "    "   " chars in string tab */
  35. #endif
  36.  
  37. #if MEMORYSIZE==300 /* KByte */
  38. #define DEF_ATOMS      2000  /* MAX. no. of atoms */
  39. #define DEF_TERMS     32700  /*  "    "   " term */
  40. #define DEF_TRAILER    4000  /*  "    "   " critical variables */ 
  41. #define DEF_ENVS       1000  /*  "    "   " active goals */
  42. #define DEF_STRINGS   25000  /*  "    "   " chars in string tab */
  43. #endif
  44.  
  45. #if MEMORYSIZE==650 /* KByte */
  46. #define DEF_ATOMS      2000  /* MAX. no. of atoms */
  47. #define DEF_TERMS     40000  /*  "    "   " term */
  48. #define DEF_TRAILER    4000  /*  "    "   " critical variables */ 
  49. #define DEF_ENVS       2000  /*  "    "   " active goals */
  50. #define DEF_STRINGS   15000  /*  "    "   " chars in string tab */
  51. #endif
  52.  
  53. #if MEMORYSIZE==2000 /* KByte */
  54. #define DEF_ATOMS      3000  /* MAX. no. of atoms */
  55. #define DEF_TERMS     200000  /*  "    "   " term */
  56. #define DEF_TRAILER   13000  /*  "    "   " critical variables */ 
  57. #define DEF_ENVS       3000  /*  "    "   " active goals */
  58. #define DEF_STRINGS   35000  /*  "    "   " chars in string tab */
  59. #endif
  60.  
  61. #if MEMORYSIZE==2800 /* KByte */
  62. #define DEF_ATOMS      3000  /* MAX. no. of atoms */
  63. #define DEF_TERMS     305000  /*  "    "   " term */
  64. #define DEF_TRAILER   13000  /*  "    "   " critical variables */ 
  65. #define DEF_ENVS       3000  /*  "    "   " active goals */
  66. #define DEF_STRINGS   35000  /*  "    "   " chars in string tab */
  67. #endif
  68.  
  69. #if MEMORYSIZE==1200 /* KByte */
  70. #define DEF_ATOMS      2500  /* MAX. no. of atoms */
  71. #define DEF_TERMS     105000  /*  "    "   " term */
  72. #define DEF_TRAILER    7000  /*  "    "   " critical variables */ 
  73. #define DEF_ENVS       2000  /*  "    "   " active goals */
  74. #define DEF_STRINGS   25000  /*  "    "   " chars in string tab */
  75. #endif
  76.  
  77. #if MEMORYSIZE==10000 /* KByte */
  78. #define DEF_ATOMS     10000  /* MAX. no. of atoms */
  79. #define DEF_TERMS   1000000  /*  "    "   " term */
  80. #define DEF_TRAILER  100000  /*  "    "   " critical variables */ 
  81. #define DEF_ENVS     100000  /*  "    "   " active goals */
  82. #define DEF_STRINGS   65000  /*  "    "   " chars in string tab */
  83. #endif
  84.  
  85. #if MEMORYSIZE==20000 /* KByte */
  86. #define DEF_ATOMS     10000  /* MAX. no. of atoms */
  87. #define DEF_TERMS   2000000  /*  "    "   " term */
  88. #define DEF_TRAILER  200000  /*  "    "   " critical variables */ 
  89. #define DEF_ENVS     100000  /*  "    "   " active goals */
  90. #define DEF_STRINGS   65000  /*  "    "   " chars in string tab */
  91. #endif
  92.  
  93. #ifdef DYNMEM
  94. extern int MAX_ATOMS, MAX_TERMS, MAX_TRAILER, 
  95.            MAX_ENVS, MAX_STRINGS;
  96. #else
  97.  
  98. #define MAX_ATOMS DEF_ATOMS
  99. #define MAX_TERMS DEF_TERMS
  100. #define MAX_TRAILER DEF_TRAILER
  101. #define MAX_ENVS DEF_ENVS
  102. #define MAX_STRINGS DEF_STRINGS
  103. #endif
  104.  
  105. #define  MAXATOMS        atom_units(MAX_ATOMS-1)
  106. #define  MAXTERMS        term_units(MAX_TERMS-1)
  107. #define  MAXTRAILER      trail_units(MAX_TRAILER-1)
  108. #define  MAXENVS         env_units(MAX_ENVS-1)
  109. #define  MAXSTRINGS      (MAX_STRINGS-1)
  110.  
  111.